-
1 относящийся к математической логике
General subject: logico-mathematicalУниверсальный русско-английский словарь > относящийся к математической логике
-
2 специалист по математической логике
ngener. logisticienDictionnaire russe-français universel > специалист по математической логике
-
3 n-ка
2) Makarov: n-tuple (в математической логике) -
4 внесение
1) General subject: entering, importation, superinducement, superinduction, introduction2) Biology: application (напр. удобрений)3) Engineering: addition4) Agriculture: application (напр. удобрений или ядохимикатов), cumulative distribution curve (удобрений, ядохимикатов), incorporation5) Mathematics: bringing in, entry6) Economy: application (напр. удобрений, ядохимикатов)7) Linguistics: parenthesis8) Mining: treatment (удобрений)9) Forestry: application (удобрений, ядохимикатов), distribution (удобрений, ядохимикатов)10) Metallurgy: drag-in (напр. загрязнений катодами гальванической ванны), insertion11) Polygraphy: distribution (удобрений)12) Textile: dressing (удобрений)13) Information technology: application (удобрений), injection14) Astronautics: filling in15) Ecology: distribution (напр. ядохимикатов)16) Patents: application (напр. поправки)17) Makarov: deposit, importation (в математической логике), placement (удобрений), treatment (удобрении, ядохимикатов)18) Security: insertion (напр. дополнений)19) SAP.fin. depositing -
5 выразить операцию через штрих Шеффера
Универсальный русско-английский словарь > выразить операцию через штрих Шеффера
-
6 незнание
1) General subject: guiltlessness (of; чего-л.), ignorance, nescience, non acquaintance, unfamiliarity2) Engineering: ignorance (в математической логике)3) Bookish: non-acquaintance4) Mathematics: lack of knowledge5) Makarov: innocence -
7 неразрешимость
1) General subject: insolubility, unsolvability2) Engineering: undecidability (в математической логике)3) Mathematics: irresolubility4) Logics: nonsolvability5) Makarov: indeterminacy -
8 свободная переменная
1) Mathematics: unrestricted variable2) Economy: free variable, slack variable3) Information technology: unbound variable4) Makarov: free variable (в математической логике)Универсальный русско-английский словарь > свободная переменная
-
9 исходное суждение
-
10 основное суждение
-
11 равнозначность
n1) gener. Gleichwichtigkeit (по важности)2) econ. Gleichwert, Gleichwertigkeit3) ling. Gleichdeutigkeit4) electr. Aquivalenz (в математической логике)5) microel. Äquivalenz -
12 высказывание
1. (в математической логике) τα λεγόμεναη απόφα(ν)ση2. (мне-ние, суждение) η γνώμη, η κρίση, η έκφραση.Русско-греческий словарь научных и технических терминов > высказывание
-
13 незнание
Русско-греческий словарь научных и технических терминов > незнание
-
14 равнозначность
( в математической логике) Äquivalenz, Gleichwertigkeit -
15 внесение
внесе́ние с.1. introduction2. ( в математической логике) importationвнесе́ние ды́рок полупр. — hole injection (into a semiconductor)внесе́ние удобре́ний — fertilizer application, dressing, fertilization -
16 высказывание
proposition, statement* * *выска́зывание с. ( в математической логике)
sentenceотрица́ть выска́зывание — negate a sentenceсоставля́ть выска́зывание — form a sentence -
17 незнание
незна́ние с. ( в математической логике)
ignoranceаприо́рное незна́ние — prior ignoranceконе́чное незна́ние — final ignoranceнача́льное незна́ние — initial ignorance -
18 операция
operation вчт., making, operator, run, procedure, step* * *опера́ция ж.
operationвы́разить опера́цию че́рез штрих Ше́ффера ( в математической логике) — express an operation in terms of the Sheffer strokeзаверша́ть опера́цию — complete an operationза одну́ опера́цию — in one operationопера́ция над … мат. — operation on …начина́ть опера́цию вчт. — initiate an operationосуществля́ть [реализова́ть] опера́цию, напр. умноже́ния — perform the operation of, e. g., multiplicationосуществля́ть [реализова́ть] опера́цию умноже́ния с примене́нием, напр. сумми́рования и сдви́га вчт. — perform [carry out] multiplication by the combined operations of, e. g., addition and shiftingплани́ровать опера́цию вхо́да-вы́хода вчт. — schedule an input-output [I/ O] operationпрекраща́ть опера́цию вчт. — terminate an operationсовмеща́ть опера́ции (напр. чтения, записи и обработки данных) — overlap (e. g., read, write and process) operationsсовмеща́ть (выполне́ние) опера́ции вчт. — overlap operationsарифмети́ческая опера́ция — arithmetic(al) operation, arithmetic(s)арифмети́ческая опера́ция над поря́дками — exponent arithmetic(s)арифмети́ческая опера́ция с двойно́й то́чностью — double precision arithmetic(s)арифмети́ческая опера́ция с пла́вающей запято́й — floating-point arithmetic(s)арифмети́ческая опера́ция с фикси́рованной запято́й — fixed-point arithmeticsвычисли́тельная опера́ция — computationопера́ция Г ( в алгебре логики) — Pierce strokeопера́ция за́писи — write operationопера́ция запре́та — inhibit operationопера́ция И — AND operationопера́ция ИЛИ — OR operationлоги́ческая опера́ция — logical operationреализова́ть логи́ческую опера́цию аппарату́рно [физи́чески] — instrument [mechanize] a logical functionмаши́нная опера́ция — computer operationнала́дочная опера́ция — setting-up, adjustment, tuningопера́ция НЕ — NOT operationопера́ция «НЕ-И» — NAND operationопера́ция «НЕ-ИЛИ» — NOR operationнеобрати́мая опера́ция — irreversible operationотде́лочная опера́ция — finishing operationопера́ция отноше́ния ( в АЛГОЛе) — relation(al) operatorпо́лная опера́ция вчт. — complete operationпроизво́дственная опера́ция — ( в обрабатывающих отраслях) manufacturing operation; ( в перерабатывающих отраслях) processing operationплани́ровать произво́дственные опера́ции — schedule the operationsпроизво́дственная опера́ция обслу́живания — service operationпроизво́дственная, основна́я опера́ция — productive operationпроизво́дственные, вспомога́тельные опера́ции — auxiliary operationsопера́ция развё́ртывания ( в алгебре логики) — expansionраздели́тельная опера́ция метал. — shearing operationопера́ция счи́тывания — read operationтехнологи́ческая опера́ция — production operationопера́ция управле́ния — control operation -
19 переменная
* * *переме́нная ж.
variableпереме́нная вхо́дит (напр. в уравнение) то́лько раз — the variable appears at most once
(за)менять переме́нную (в полино́ме) — make a change in variable in a polynomialпереме́нные легко́ разделя́ются — the variables are readily separableопределя́ть переме́нную на интерва́ле — define a variable on [over] an intervalотраба́тывать переме́нную — operate on a variableприсва́ивать значе́ние переме́нной — assign a value to a variableразделя́ть переме́нные — separate the variablesста́вить переме́нную в соотве́тствие величине́ — assign a value to a variableвходна́я переме́нная — input variableвыходна́я переме́нная — output variableдвои́чная переме́нная — binary variableдво́йственная переме́нная ( в противопоставление с оптимизируемой переменной) — dual variableдействи́тельная переме́нная — real variableзави́симая переме́нная — dependent variableзна́ковая переме́нная — character variableпереме́нная интегри́рования — integration variable, variable of integrationко́мплексная переме́нная — complex variableлоги́ческая переме́нная — logical variableмаши́нная переме́нная — machine variableмодели́руемая переме́нная — problem variableмодели́рующая переме́нная — analog, representationнезави́симая переме́нная — independent variable, argumentпереме́нная, опи́сывающая за́пись — record variableразделя́емая переме́нная — separable variableрегули́руемая переме́нная — controlled variableсвобо́дная переме́нная — unrestricted variable; ( в математической логике) free variableсвя́занная переме́нная — bound variableслуча́йная переме́нная — random variableпереме́нная ти́па строка́ вчт. — string variableпереме́нная ти́па указа́тель вчт. — pointer variableуправля́емая переме́нная — controlled variableуправля́ющая переме́нная автмт. — manipulated variableфикти́вная переме́нная — dummy variable -
20 связь
(напр. эталонов) echelon, binding, association, bond, bonding, ( элемент) balk, band, belt, brace, communications, communication, conjunction, connection, constraint мех., coupling, brace rod, link, linkage, restraint, ( в опалубке) tie spacer, stay, telecommunications, ( программ) thread, tie* * *связь ж.1. communicationвести́ связь — he engaged in communication, communicateвходи́ть в связь без по́иска и подстро́йки — select [work] a preset frequency [a preset station]входи́ть в связь с … — establish communication with …выходи́ть из свя́зи — terminate (the) contactвыходи́ть на связь — get on [go on the air] for a radio contactдава́ть связь по обхо́ду — divert the traffic, reroute«для веде́ния свя́зи нажми́ танге́нту …» — “to communicate, press the push-to-talk switch”зака́нчивать сеа́нс свя́зи — sign offконтроли́ровать прохожде́ние свя́зи — monitor the copyначина́ть сеа́нс свя́зи — sign onпереходи́ть на связь c, напр. диспе́тчерской слу́жбой подхо́да ав. — change to, e. g., approach controlпереходи́ть на связь с., напр. КПД ав. — change to, e. g., towerподде́рживать связь в усло́виях поме́х [глуше́ния] — communicate through jamming«разреши́те зако́нчить связь?» ( запрос с самолёта) ав. — “request permission to switch off my station”устана́вливать связь — establish communication, establish contact, contact«установи́те связь с КДП Шереме́тьево!» ( распоряжение с КДП самолёту) ав. — “contact Sheremetevo tower!”2. (в атомах, молекулах, соединениях) bond, linkразрыва́ть связь — split a bondукомплекто́вывать связь (напр. в атоме) — satisfy a bondэ́та связь неукомплекто́вана — this is an unsatisfied bond3. (в цепях, между цепями и элементами) элк. couplingсвязь ме́жду А и В — ё́мкостная — A is capacitively coupled (in)to Bс като́дной свя́зью — cathode-coupled4. ( в расчётных схемах)1) ( ограничение) constraint, restraint2) ( элемент физической конструкции) stay; tieнакла́дывать связь — impose a constraint, exercise a restraint, restrain5. ( в математической логике) unionавари́йная связь — emergency communicationавиацио́нная связь — aeronautical communicationавтотрансформа́торная связь — tapped-coil couplingадгезио́нная связь — adhesive bondа́нкерная связь — anchor tieба́лочная связь — tie beamбесподстро́ечная (беспоиско́вая) связь радио — instant selection of preset [pretuned] channels [stations]вести́ бесподстро́ечную беспоиско́вую связь — select [contact] a preset stationвале́нтная связь — valence bond, valence linkветрова́я связь — wind tieволоко́нно-опти́ческая связь — fibre-optics communicationгальвани́ческая связь — conductive [resistive] couplingгеометри́ческая связь — geometric constraintгироскопи́ческая связь — gyroscopic couplingглоба́льная связь — global [world-wide] communicationдвусторо́нняя связь1. bilateral constraint2. two-way communicationди́плексная связь — diplex operate, diplex workingдифференциа́льная связь мат. — differential constraintсвязь для специа́льных служб радио — emergency-service communcationдо́норная связь — donor bondдро́ссельная связь — impedance couplingдро́ссельно-ё́мкостная связь — impendance-capacitance couplingдупле́ксная связь — duplex operation, duplex workingё́мкостная связь — capacitive couplingё́мкостно-резисти́вная связь — capacitance-resistance [RC] couplingжё́сткая связь элк. — tight couplingсвязь жё́сткости мех. — braceсо свя́зями жё́сткости — bracedсвязь жё́сткости, рабо́тающая на растяже́ние — tension braceсвязь жё́сткости, рабо́тающая на сжа́тие — push braceзвукоподво́дная связь — underwater sonar communicationсвязь земля́ — самолё́т — ground-to-air communicationиндукти́вная связь — inductive couplingио́нная связь — ionic [electrovalent] bondкато́дная связь — cathode couplingсвязь КВ — high-frequency [HF] communication(s)связь ко́нтуров, ё́мкостная вне́шняя — series capacitive couplingсвязь ко́нтуров, ё́мкостная вну́тренняя — shunt capacitive couplingсвязь ко́нтуров, непо́лная элк. — tapped-down connection, tapping-downко́нтур име́ет непо́лную связь с ла́мпой — there is tapped-down connection from the tuned circuit to the tubeсвязь ко́нтуров, по́лная — untapped connectionсвязь входно́го ко́нтура с управля́ющей се́ткой, по́лная — there is untapped connection from the input tuned circuit to the control grid, the grid is connected across the whole of the input circuitсвязь ко́рпуса су́дна — (strength) member of a ships hullкорреляцио́нная связь — correlationкосми́ческая связь — space communicationкра́тная связь — multiple bondприсоединя́ть по ме́сту кра́тных свя́зей — add to multiple bondsкрити́ческая связь — critical couplingла́зерная связь — laser(-beam) communicationсвязь ме́жду систе́мами — intersystem communicationмежсисте́мная связь — intersystem communicationметалли́ческая связь — metallic bondметео́рная связь — meteor burst communicationмногокана́льная связь — multichannel communicationмоби́льная связь — vehicular communicationнеуде́рживающая связь — unilateral constraintsобра́тная связь — feedbackохва́тывать обра́тной свя́зью — place a feedback path [loop] around [over] …, apply feedbackохва́тывать обра́тной свя́зью большо́й глубины́ — apply a large amount of feedbackохва́тывать обра́тной свя́зью какой-л. каска́д — apply feedback to such-and-such stageобра́тная, акусти́ческая связь — acoustic(al) feedbackобра́тная, вну́тренняя связь полупр. — intrinsic feedbackобра́тная, ги́бкая связь — vanishing feenbackобра́тная, ё́мкостная связь — capacitive feedbackобра́тная, жё́сткая связь — unity [direct] feedbackобра́тная, заде́ржанная связь — delayed feedbackобра́тная, заде́рживающая связь — delaving feedbackобра́тная, избира́тельная связь — selective feedbackобра́тная, изодро́мная связь — proportional-plus-integral feedbackобра́тная, индукти́вная связь — inductive feedbackобра́тная, кванто́ванная связь — quantized feedbackобра́тная, многоко́нтурная связь — multiloop feedbackобра́тная, отрица́тельная связь — negative [degenerative] feedbackобра́тная, положи́тельная связь — positive [regenerative] feedbackобра́тная связь по напряже́нию — voltage feedbackобра́тная связь по огиба́ющей — envelope feedbackобра́тная связь по положе́нию — position feedbackобра́тная связь по произво́дной — rate feedbackобра́тная связь по ско́рости — velocity [rate] feedbackобра́тная связь по то́ку — current feedbackобра́тная связь по ускоре́нию — acceleration feedbackобра́тная связь по частоте́ — frequency feedbackобра́тная, пропорциона́льная связь — proportional feedbackобра́тная, резисти́вная связь — resistive feedbackобра́тная, стабилизи́рующая связь — stabilizing feedbackодина́рная связь — single bondодносторо́нняя связь1. unilateral constraint2. one-way connection, one-way operation, one-way workingоптима́льная связь — optimum couplingопти́ческая связь — optical communicationпарази́тная связь — stray [spurious] couplingполудупле́ксная связь — half-duptex operation, half-duplex workingпопере́чная связь1. cross-linkage, cross bond2. мех. transverse [cross] braceпричи́нная связь — causalityпроводна́я связь — wire communicationпроводна́я, в. ч. связь — carrier-current communicationпряма́я связь — feedforwardрадиореле́йная связь — radio-relay communicationрадиотелегра́фная связь — radiotetegraphy, radiotelegraph communicationрадиотелефо́нная связь — radiotelephone (service)реоста́тная связь — resistance couplingреоста́тно-ё́мкостная связь — resistance-capacitance [RC] couplingсвязь самолё́т — земля́ — air-to-ground communicationсвязь самолё́т — самолё́т — plane-to-plane [air-to-air] communicationсверхкрити́ческая связь — overcritical couplingсвязь СВЧ ( не путать со свя́зью на сантиметро́вых дли́нах волн) — microwave communication(s) (not to he confused with SHF; in Russian usage, СВЧ — microwaves)связь с высо́ким у́ровнем шумо́в — noisy communicationсвязь с высо́кой информацио́нной ё́мкостью — high-capacity communicationселе́кторная связь — intercom telephonyси́мплексная связь — simplex operation, simplex workingсвязь с испо́льзованием (да́льнего) тропосфе́рного рассе́яния — tropospheric scatter [troposcatter] communicationсопряжё́нные свя́зи хим. — conjugated bondsспин-орбита́льная связь — spin-orbit couplingтелегра́фная связь1. ( обмен) telegraphy, telegraph communication2. ( соединение) telegraph connectionтелегра́фная, пряма́я междунаро́дная связь — direct international (telegraph) connectionтелефо́нная связь — telephony, telephone communication, telephone serviceтелефо́нная, междугоро́дная связь — long-distance [toll] telephonyтелефо́нная связь тона́льной частоты́ — voice-frequency telephonyтрансформа́торная связь элк. — transformer couplingуде́рживающая связь — bilateral constraintсвязь УКВ — VHF/ UHF communication(s)факси́мильная связь — facsimile (service)фототелегра́фная связь — facsimile (service)хими́ческая связь — chemical bondциркуля́рная связь — conference connectionцифрова́я связь — digital communicationсвязь че́рез иску́сственный спу́тник Земли́ — satellite-assisted communicationщелева́я связь — slot couplingэлектро́нная связь — ejectron couplingэлектростати́ческая связь — electrostatic coupling
См. также в других словарях:
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Имя (в логике) — Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён различают имена… … Большая советская энциклопедия
ПСИХОЛОГИЗМ В ЛОГИКЕ — система взглядов, согласно которым законы логики являются законами психологии. Сторонники П. в л. стремились интерпретировать понятия, принципы и законы логики как непосредственное выражение тех устойчивых связей между мыслями, которые возникают… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ПОРЕЦКИЙ — Платон Сергеевич [3(15).10.1846, Елиза ветград, ныне Кировоград, 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам… … Философская энциклопедия